用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

火炮动态后坐装置有限元分析与优化

活塞缸是火炮动态后坐装置中的关键部件,其结构强度设计是整个实验装置强度设计的核心。利用I-DEAS软件,在对其进行实体建模和有限元网格划分的基础上,计算了活塞缸整体的应力应变值,得到了活塞缸工作时的应力应变图,并对其结构中应力状况恶劣的部位进行了结构优化。     

Scheduling with centralized and decentralized batching policies in concurrent open shops

This article considers batch scheduling with centralized and decentralized decisions. The context of our study is concurrent open shop scheduling where the jobs are to be processed on a set of independent dedicated machines, which process designated operations of the jobs in batches. The batching policy across the machines can be centralized or decentralized. We study such scheduling problems with the objectives of minimizing the maximum lateness, weighted number of tardy jobs, and total weighted completion time, when the job sequence is determined in advance. We present polynomial time dynamic programming algorithms for some cases of these problems and pseudo‐polynomial time algorithms for some problems that are NP‐hard in the ordinary sense. © 2010 Wiley Periodicals, Inc. Naval Research Logistics 58: 17–27, 2011     

Cache漏流功耗的自适应优化:动态容量调整

当集成电路制造工艺水平发展到超深亚微米阶段,漏流功耗所占的比例越来越大,成为微处理器功耗的重要来源.漏流功耗同电压、漏电流和晶体管数量等因素密切相关.Cache是微处理器中面积较大的部件,对其漏流功耗进行优化是微处理器低功耗设计的首要任务.除了采取工艺上的改进措施外,cache漏流功耗可以通过把握或改变cache的工作...     

Dynamic pricing under first order Markovian competition

We evaluate the effect of competition on prices, profits, and consumers' surplus in multiperiod, finite horizon, dynamic pricing settings. In our base model, a single myopic consumer visits two competing retailers, who offer identical goods, in a (first order Markovian) probabilistic fashion—if the posted price exceeds the consumer's valuation for the good, he returns to the same store in the following period with a certain probability. We find that even a small reduction in the return probability from one—which corresponds to the monopoly case at which prices decline linearly—is sufficient to revert the price decline from a linear into an exponential shape. Each retailer's profit is particularly sensitive to changes in his return probability when it is relatively high, and is maximized under complete loyalty behavior (i.e., return probability is one). On the other hand, consumer surplus is maximized under complete switching behavior (i.e., return probability is zero). In the presence of many similar consumers, the insights remain valid. We further focus on the extreme scenario where all consumers follow a complete switching behavior, to derive sharp bounds, and also consider the instance where, in this setting, myopic consumers are replaced with strategic consumers. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

超空泡航行体双层壳结构动力稳定性分析

针对超空泡航行体轴向受力特点,建立超空泡航行体双层壳结构有限元模型,对结构动力稳定性进行分析.数值计算表明,当壳间实肋板厚度增大或环向肋骨数量和尺寸增加时,动力失稳区域整体下移,不稳定激发频率下降,失稳区域宽度减小幅度较小;当壳间间距减小或纵向肋骨数量和尺寸增加时,双层壳结构动力不稳定激发频率上升,动力失稳区域宽度较大...     

基于动态贝叶斯网络的弹道导弹态势评估模型研究

针对弹道导弹态势评估的特点,分析了弹道导弹的作战过程和弹道导弹主动段作战特点。在此基础上,给出了动态贝叶斯网络用于弹道导弹态势评估的建模过程,建立了基于动态贝叶斯网络的弹道导弹态势评估模型,并依据观测到的数据对模型进行了仿真,结果表明,将动态贝叶斯网络应用于弹道导弹的态势评估模型是可行的,该模型能够对飞行中的弹道导弹态势快速准确作出评估。     

日语被动句及被动含义表达的汉译处理

日在日语教学中,经常遇见已掌握日语“被动句”基本结构的学员,总是把日语“被动句”生硬地翻译成汉语的“被字句”。在翻译时,我们应该遵循汉语的表达习惯,体现原文思想。针对日语被动句、被动含义的自动词句、表示原因的主动句这三种情形来研究其汉译处理方法,试图寻找出其中的一些规律。     

身管柔性化对火炮动力后坐试验的影响研究

为研究火炮动力后坐试验过程中身管变形对火炮后坐复进运动的影响,以某自行火炮火力部分作为研究对象,基于多体动力学和有限元方法,构建了考虑身管柔性化的火力部分刚柔耦合动力学模型。该模型中,炮膛合力以样条函数的形式直接作用在炮口前端。通过仿真,对比火炮后坐部分最大后坐速度、最大后坐位移以及最大后坐速度时的后坐位移和时间的仿真值与实弹射击过程中的试验值,结果表明,采用冲击的方式进行火炮后坐模拟试验时,身管柔性特征对火炮后坐复进特性影响较小,也证明冲击式火炮后坐试验装置的研制可行性。     

随动定向战斗部破片飞散特性研究

针对防空导弹常规破片式杀伤战斗部使用中存在能量利用率低的缺陷,提出采用随动定向战斗部的观点。建立随动定向战斗部的破片动态飞散区和飞散速度的计算模型,采用数值解析方法,解决在复杂弹目交会条件下破片的飞散区域与打击速度的计算问题．并用MATLAB软件对建立的模型进行验证,得出仿真结果与实际结果一致,这表明模型是合理、正确的。